Set theory - PDFSEARCH.IO - Document Search Engine

Set theory
Results: 2815

#	Item
601	Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:33:09 Theory of computation Computability theory Functions and mappings Recursion Function Computable number Compact space Subspace topology Sierpiński space Topology Mathematics General topology
602	Shallow Packings in Geometry ∗ Esther Ezra † December 16, 2014 Abstract We refine the bound on the packing number, originally shown by Haussler, for shallow geometric set Add to Reading List Source URL: www.cims.nyu.edu Language: English - Date: 2014-12-19 01:11:03 Abstract algebra Algebraic topology Group theory Vector space Euclidean vector VC dimension Simplicial set Continuous function Abstract simplicial complex Algebra Mathematics Linear algebra
603	Midland Graduate School in Foundations of Computer Science Quantum Topos Theory Steve Vickers, School of Computer Science, University of Birmingham 2010 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-03-30 03:56:09 Structure Support Ideal Complete partial order Partially ordered set Continuous function Sierpiński space Spectral theory of ordinary differential equations Lambda calculus Mathematics Order theory Mathematical analysis
604	Linearizing bad sequences: upper bounds for the product and majoring well quasi-orders Sergio Abriola1 , Santiago Figueira2,3? , and Gabriel Senno2 1 2 Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2012-06-18 12:18:22 Multiset Summation Partially ordered set Well-founded relation Binomial coefficient Mathematics Order theory Lexicographical order
605	Improved Bound for the Union of Fat Triangles∗ Esther Ezra† Boris Aronov‡ Abstract Add to Reading List Source URL: www.cims.nyu.edu Language: English - Date: 2010-10-14 21:45:02 Analysis of algorithms Computational geometry NP-complete problems Ε-net Time complexity Set cover problem Theoretical computer science Applied mathematics Computational complexity theory
606	An infinitely descending sequence of sound theories each proving the next consistent (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-05-19 14:37:06 Mathematics Z notation Zermelo–Fraenkel set theory Ordinal numbers Constructible universe Ordinal analysis Consistency Forcing Proof theory Mathematical logic Logic
607	Cyclic Homology Theory Jean-Louis Loday Notes taken by Pawel Witkowski October 2006 Add to Reading List Source URL: toknotes.mimuw.edu.pl Language: English - Date: 2006-11-27 09:00:58 Polytopes Algebraic topology Homotopy theory Topological spaces Associahedron Simplicial set Simplex Permutohedron Homology Topology Geometry Mathematics
608	Similarity Quotients as Final Coalgebras Paul Blain Levy⋆ University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-04-02 14:59:57 Order theory Algebraic topology F-coalgebra Coalgebra Partially ordered set Preorder Equivalence relation Functor Presentation of a group Mathematics Abstract algebra Category theory
609	Microsoft Word - Leiden2.doc Add to Reading List Source URL: www.izbi.uni-leipzig.de Language: English - Date: 2006-03-07 03:54:52 Determining the number of clusters in a data set Globular cluster Mathematics Graph Graph theory
610	Randomness and Universal Machines Santiago Figueira∗ Frank Stephan† Guohua Wu‡ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2007-07-08 19:57:54 Computer science Turing machine Formal methods Models of computation Turing degree Recursively enumerable set Computability Μ-recursive function Lambda calculus Computability theory Theoretical computer science Theory of computation

UPDATE